Popdown the bubble window when text view is scrolled

diff --git a/gtk/gtktextview.c b/gtk/gtktextview.c
index 8efb5870efcbb7a5e8b2db092f63c8f94c87c71b..57b858d5ed97bcc954f0d368cf78be3d9ef4827f 100644 (file)
--- a/gtk/gtktextview.c
+++ b/gtk/gtktextview.c
@@ -9091,8 +9091,12 @@ text_window_scroll        (GtkTextWindow *win,
                            gint           dx,
                            gint           dy)
 {
+  GtkTextView *view = GTK_TEXT_VIEW (win->widget);
+  GtkTextViewPrivate *priv = view->priv;
+
   if (dx != 0 || dy != 0)
     {
+      gtk_bubble_window_popdown (GTK_BUBBLE_WINDOW (priv->selection_bubble));
       gdk_window_scroll (win->bin_window, dx, dy);
     }
 }